(deftemplate arca(slot animal)(slot sex)(slot inaltime))

bind(assert (arca(animal soarece)(sex m)(inaltime 1)))
(assert (arca(animal soarece)(sex f)(inaltime 1)))
(assert (arca(animal veverita)(sex m)(inaltime 2)))
(assert (arca(animal veverita)(sex f)(inaltime 2)))
(assert (arca(animal pisica)(sex m)(inaltime 3)))
(assert (arca(animal pisica)(sex f)(inaltime 3)))
(assert (arca(animal caine)(sex m)(inaltime 4)))
(assert (arca(animal caine)(sex f)(inaltime 4)))
(assert (arca(animal vaca)(sex m)(inaltime 5)))
(assert (arca(animal vaca)(sex f)(inaltime 5)))
(assert (arca(animal elefant)(sex m)(inaltime 6)))
(assert (arca(animal elefant)(sex f)(inaltime 6)))

(facts)